Section: Partnerships and Cooperations

European Initiatives

FP7 & H2020 Projects

• SPOOC (2015–2020) (https://members.loria.fr/SKremer/files/spooc/index.html)— ERC Consolidator Grant on Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols.

  The goals of the Spooc project are to develop solid foundations and practical tools to analyze and formally prove security properties that ensure the privacy of users as well as techniques for executing protocols on untrusted platforms. We will

  • develop foundations and practical tools for specifying and formally verifying new security properties, in particular privacy properties;

  • develop techniques for the design and automated analysis of protocols that have to be executed on untrusted platforms;

  • apply these methods in particular to novel e-voting protocols, which aim at guaranteeing strong security guarantees without need to trust the voter client software.

  Steve Kremer is the leader of the project.